(x_set_cursor_type): Set cursor_type_changed,

not update_mode_lines, and always set it to 1.

diff --git a/src/w32fns.c b/src/w32fns.c
index 3e1f678d02c9c095b932901d67fd633326c6a537..a1fa27cf742450f0e2a6b9c2f3eeba1e73c88fb1 100644 (file)
--- a/src/w32fns.c
+++ b/src/w32fns.c
@@ -2359,9 +2359,8 @@ x_set_cursor_type (f, arg, oldval)
 {
   set_frame_cursor_types (f, arg);
 
-  /* Make sure the cursor gets redrawn.  This is overkill, but how
-     often do people change cursor types?  */
-  update_mode_lines++;
+  /* Make sure the cursor gets redrawn.  */
+  cursor_type_changed = 1;  
 }
 \f
 void